x1 (set, group, structure, category, class, etc.) has cardinality strictly more than aleph-null; x1 is mathematically uncountable.
There exists no bijection between (the set underlying) x1 and any (possibly non-proper) subset of the set of all natural numbers. See also: cimni, kancuka'e.